Craigs Lemma

Craigs Lẹmma

 

[kreɪgz -; nach dem amerikanischen Philosophen W. Craig, 20. Jahrhundert], ein in der Quantorenlogik und Beweistheorie verwendetes Lemma; besagt, dass es zu jeder ableitbaren Formel A → C eine Formel B gibt von der Art, dass auch die beiden Formeln A → B und B → C ableitbar sind und B nur solche freien Eigennamen- und Prädikatorenvariablen enthält, die zugleich in A und in C auftreten.